logic language中文是什么意思

• 逻辑语言

• logic    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
• language    n. 1.语言；(某民族，某国的)国语；语调，措词。 2 ...
• logic and language    逻辑和语言; 逻辑与语言
• logic of language    语言逻辑
• ldl logic description language    逻辑描述语言
• logic in the chinese language    汉语与逻辑
• logic of natural language    自然语言逻辑
• logic programming language    逻辑编程语言; 逻辑程序设计语言
• logic-generating language    逻辑发生语言
• lql logic query language    逻辑查询语言
• predicate logic language    谓词逻辑语言
• temporal logic language    时序逻辑语言
• tense logic language    时态逻辑语言
• tense-logic language    时态逻辑语言
• limited logic natural language system    有限逻辑自然语言系统
• local logic circuit analyzer language    逻辑电路分析器语言
• -logic    -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
• and logic    “与”逻辑
• logic    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理性。 3. 威力，压力，强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
• logic-and    逻辑“与”
• or logic    或逻辑
• a language    译者的母语或者常用的语言
• language    n. 1.语言；(某民族，某国的)国语；语调，措词。 2.(谈话者或作者所使用的)言语，语风，文风，文体。 3.专门用语，术语。 4.(动物的)叫声；(动作，手势等所表示的)表意语。 5.【自动化】机器代码 ( ＝ machine language )。 6.〔俚语〕粗话，骂人的话；坏话。 7.态度，立场。 8.〔古语〕民族；某国国民。 a common language 共同的语言。 a dead language 死语言。 a foreign language 外国语。 a living language 活语言。 long language (与符号语言相对的)通用语言。 oral [spoken] language 口语。 the Chinese language 汉语。 written language 书面语。 high language 夸张的言词。 in his own language 按他自己的说法。 with a great command [an easy flow] of language 口若悬河。 legal language 法律用语。 medical language 医学用语。 parliamentary language 议会辞令；有礼貌的话。 the language of diplomacy 外交辞令。 the language of the science 科学用语。 finger [gesture, sign] language 手势语。 the language of flowers 花语〔如以 lily 象征纯洁等〕。 the language of the eyes 目语，眉目传情。 billing gate language ＝ language of the fish-market 下流的粗话。 in strong language 用激烈的下流话。 use (bad [foul, warm]) language to sb. 谩骂某人。 in fourteen languages 〔美俚〕非常。 speak the same language 说共同的语言，信仰和观点相同。 language arts (中小学的)语言艺术学科。
• active logic    有源逻辑
• actuating logic    执行逻辑

• Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model
  首先,在论文中用一阶逻辑语言建立可信平台模块api的形式化模型,然后对建立的形式化模型进行逻辑推理分析。
• The establishment of limited subject has not only solved a series of problems brought out by the " body " of subject , but also found a reasonable form of existence for the subject on the stratum of logic language
  界限主体的确立，既解决了主体的“体”带来的一系列问题，同时又为主体在逻辑语言的层面上找到了一种合理的存在形式。
• In this paper , three kinds of logic languages used in analyzing cryptographic protocols are primarily introduced , and studied in their advantages and weakness . combing the advantages , a new formal logic language is put forward to analyze electronic commerce protocols
  在本文中，作者主要介绍了用于分析密码协议的三种逻辑语言，研究了它们的优缺点，然后结合其优点，提出了一种新的用于分析电子商务协议的形式化逻辑语言。
• ( 2 ) in order to validate the efficiency of algorithm , this paper design and implement a testing , platform rule processor based on sql server . the main function of the processor is to translate the first order logic rule into embedded - sql programs , which make sql server dbms possess the capability in expressing recursive query with logic language
  ( 2 )为验证算法的有效性，该文设计实现了一个测试平台? ?基于sqlserver的规则处理器，其主要功能为自动把一阶逻辑规则转换为含有sql语句的过程代码，这使得sqlserver数据库管理系统有了用逻辑数据语言表示递归查询的能力。
• Next , it indicates that mathematical language is an important instrument for developing the mathematical communication activity , and based on the predecessors " achievements , reclassifies the mathematical language : character language , symbol language , figure language , chart language and logic language
  接着指出数学语言是进行数学交流活动的重要工具，参考前人的成果，对数学语言重新进行分类，可分为：文字语言，符号语言，图形语言，图表语言，逻辑语言。
• We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity . xyz / e is able to describe the dynamic semantics and static operations of component , and to formally describe system in different hierarchy
  由于构件可能具有不同的抽象层次和粒度，我们采用了时序逻辑语言xyz e作为构件描述语言，这种语言能够描述构件的静态语义和动态执行，并且能在不同抽象层次上对系统进行形式化描述。
• We generalize the notion of information tables to ordered information tables by adding order relations on attribute values . a data analysis method is thus proposed to describe properties of ordered information tables . we define the concepts of reduct and core etc . by analyzing the attribute dependency in ordered information tables ; the thesis also proposes and formalizes the problem of mining ordering rules , designs the ordered decision logic language ( odl - language ) , and gives a solution for mining ordering rules
  从数据挖掘的角度考虑对象排序问题，通过引进属性值上的有序关系，作者扩充了常见的属性值方法，提出了有序信息表的形式化概念，进而提出了一个有序信息表上的数据分析方法，通过分析有序信息表中的属性依赖，定义了有序信息表的约简集和核的概念；作者还提出和形式化了有序信息表中挖掘有序规则的问题，设计了有序决策逻辑语言( odl ) ，并给出了一个挖掘有序规则的方法。